École Polytechnique

Results: 1336



#Item
111

Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

Add to Reading List

Source URL: www.lix.polytechnique.fr

- Date: 2013-05-22 23:44:30
    112

    Efficient Static Analysis of Dynamical Properties using the Process Hitting 10 janvier 2012 Loïc Paulevé École Polytechnique / LIX (équipe AMIB)

    Add to Reading List

    Source URL: loicpauleve.name

    - Date: 2014-05-28 09:53:18
      113

      Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2015-11-06 10:54:47
        114

        Foundational Proof Certificates Making proof universal and permanent Dale Miller ´ INRIA-Saclay & LIX, Ecole

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2013-09-23 15:11:27
          115

          Towards Static Analysis of Virtualization-Obfuscated Binaries Johannes Kinder School of Computer and Communication Sciences ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL)

          Add to Reading List

          Source URL: www.cs.rhul.ac.uk

          - Date: 2013-09-26 13:59:32
            116

            ProofCert: Broad Spectrum Proof Certificates Dale Miller ´ INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2012-01-17 01:38:04
              117

              Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2016-01-18 11:51:05
                118

                Online Collaborative Prediction of Regional Vote Results Vincent Etter∗ , Mohammad Emtiyaz Khan† , Matthias Grossglauser‡ , Patrick Thiran‡ ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Lausanne, Switze

                Add to Reading List

                Source URL: vincent.etter.io

                - Date: 2016-09-13 15:35:58
                  119

                  Let Our Powers Combine! Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/ 02 July 2013

                  Add to Reading List

                  Source URL: scalamacros.org

                  - Date: 2016-08-18 07:56:24
                    120

                    ABSTRACTS 1.2 MANUEL BODIRSKY ´ Ecole Polytechnique

                    Add to Reading List

                    Source URL: www.fields.utoronto.ca

                    - Date: 2011-07-27 15:30:23
                      UPDATE